221. Recursivite
پدیدآورنده : / par Jean-Pierre Azra et Bernard Jaulin, pref de Daniel Lacombe
کتابخانه: المكتبة المركزية ومركز الأرشيف (طهران)
موضوع : Recursive functions
رده :
515
.
25
Az-R
222. Recursivite
پدیدآورنده : Azra, Jean-Pierre
کتابخانه: (طهران)
موضوع : ، Recursive functions
رده :
QA
248
.
5
.
A97
223. Recursivity and contingency
پدیدآورنده :
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : organizing systems ; Philosophy. ; Computer algorithms ; Philosophy. ; Conditionals (Logic) ; Recursive functions. ; -Artificial intelligence ; Philosophy. ; Self
224. Refinement calculus :
پدیدآورنده : Ralph-Johan Back, Joakim von Wright.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Calcul infinitésimal.,Logique informatique.,Programmation (Informatique)
رده :
QA76
.
6
R357
1998
225. Reflexive structures : an introduction to computability theory
پدیدآورنده : Sanchis, Luis E.
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع : ، Computable functions,، Recursive functions
رده :
QA
9
.
59
.
S26
1988
226. Rekursive Funktionen
پدیدآورنده : Heinz Lüneburg.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Recursieve functies.,Recursive functions.,Rekursive Funktion.
رده :
QA246
.
H456
2002
227. Rigid body dynamics algorithms
پدیدآورنده : Roy Featherstone.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Dynamics, Rigid.,Recursive functions.,Robots-- Dynamics.
228. Rigid body dynamics algorithms
پدیدآورنده :
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Dynamics, Rigid. ; Recursive functions. ; Robots ; Dynamics. ;
229. Rigid body dynamics algorithms
پدیدآورنده : / Roy Featherstone
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع : Dynamics, Rigid.,Recursive functions.,Robots--Dynamics
رده :
QA
,
861
,.
F43
,
2008
230. Robot Dynamics Algorithms
پدیدآورنده : / Roy Featherstone
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (أردبیل)
موضوع : Robots- Dynamics,Dynamics Rigid,Recursive Functions,Spatial Kinematics,Spatial Dynamics
رده :
TJ211
.
4
.
F43
1987
231. Robot dynamics algorithms
پدیدآورنده : Featherstome, Roy.
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : Dynamics ، Robots,، Dynamics, Rigid,، Recursive functions
رده :
TJ
211
.
4
.
F43
1987
232. Robot dynamics algorithms
پدیدآورنده : Featherstone, Roy.
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع : ، Robots-- Dynamics,، Dynamics, Rigid,، Recursive functions
رده :
TJ
211
.
4
.
F43
1987
233. Robot dynamics algorithms
پدیدآورنده : / by Roy Featherstone
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : Robots-Dynamics,Dynamics, Rigid,Recursive functions,Rigid
رده :
TJ211
.
4
.
F43
1987
234. Robot dynamics algorithms
پدیدآورنده : Featherstone, Roy
کتابخانه: كتابخانه پژوهشگاه نیرو (طهران)
موضوع : ، Robots- Dynamics,، Dynamics, Rigid,، Recursive functions
رده :
TJ
211
.
4
.
F43
1987
235. Selected Areas in Cryptography :
پدیدآورنده : edited by Lars R. Knudsen, Huapeng Wu.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer Communication Networks.,Computer science.,Data protection.
236. Set theory and hierarchy theory : a memorial tribute to Andrzej Mostowski : Bierotowice, Poland, 1975 : ]proceedings[
پدیدآورنده : edited by W. Marek, M. Srebrny, A. Zarach
کتابخانه: (طهران)
موضوع : Bibliography ، Mostowski, Andrzej, 3191-5791,Congresses ، Set theory,Congresses ، Model theory,Congresses ، Recursive functions
رده :
QA
248
.
C6
1975
237. Set theory and hierarchy theory : a memorial tribute to Andrzej Mostowski : Bierotowice, Poland, 1975 : )proceedings(
پدیدآورنده : edited by W. Marek, M. Srebrny, and A. Zarach
کتابخانه: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع : Congresses ، Set theory,Congresses ، Model theory,Congresses ، Recursive functions,Bibliography ، Mostowski, Andrzej
رده :
QA
248
.
C6
238. Set theory and hierarchy theory: a memorial tribute to Andrzej Mostowski: Bierotowice, Poland, 1975 : ]proceedings[
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع : Bibliography ، Mostowski, Andrzej,Congresses ، Set theory,Congresses ، Model theory,Congresses ، Recursive functions
رده :
QA
3
.
L28
no
.
537
239. Set theory and hierarchy theory : a memorial tribute to Andrzej Mostowski : Bierotowice, Poland, 1975 : )proceedings(
پدیدآورنده : edited by W. Marek, M. Srebrny, and A. Zarach
کتابخانه: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع : Congresses ، Set theory,Congresses ، Model theory,Congresses ، Recursive functions,Bibliography ، Mostowski, Andrzej
رده :
QA
1
.
L4
v
.
537
240. Set theory and hierarchy theory a memorial tribute to Andrzej Mostowski : Bierutowice, Poland 1975
پدیدآورنده : edited by W. Marek, M. Srebrny and A. Zarach
کتابخانه: (طهران)
موضوع : Congresses ، Set theory,Congresses ، Model theory,Congresses ، Recursive functions,Bibliography ، Mostowski, Andrzej, 3191-5791
رده :
QA
3
.
L28
Vol
.
537
